Polymorphic Programming Language - PDFSEARCH.IO - Document Search Engine

Polymorphic Programming Language
Results: 22

#	Item
11	A taxonomy of self-modifying code for obfuscation Nikos Mavrogiannopoulosa , Nessim Kisserlia , Bart Preneela a Katholieke Universiteit Leuven ESAT/SCD/COSIC – IBBT Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English Programming language implementation Source code Obfuscation Debugging Anti-patterns Polymorphic code Self-modifying code Interpreter Breakpoint Computer programming Software engineering Computing
12	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
13	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
14	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Aspect-oriented software development Aspect-oriented programming Data types Functional languages Pointcut Generalized algebraic data type Standard ML Type system Software engineering Software development Computing
15	Runtime Polymorphic Generic Programming—Mixing Objects and Concepts in ConceptC++ Mat Marcus1 1 Adobe Add to Reading List Source URL: www.emarcus.org Language: English - Date: 2011-09-23 00:57:56 C++ Procedural programming languages Cross-platform software C programming language C++ classes ALGOL 68 Struct C Software engineering Computing Computer programming
16	Polymorphic Delimited Continuations Kenichi Asai1 and Yukiyoshi Kameyama2 1 Department of Information Science, Ochanomizu University [removed] Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2007-10-10 00:35:06 Theoretical computer science Parametric polymorphism Symbol Type variable Type inference Type system Type theory Programming language theory Software engineering
17	Programming with Polymorphic Variants Jacques Garrigue Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Data types Polymorphism Computing Object-oriented programming Symbol Lambda calculus Type system Subtype polymorphism Parametric polymorphism Type theory Software engineering Programming language theory
18	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computer programming Data types Functional languages Procedural programming languages Functional programming Standard ML Algebraic data type Type system Tagged union Software engineering Computing Type theory
19	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory
20	Microsoft Word - APLMemberApplication.doc Add to Reading List Source URL: www.amateurpoolleague.com Language: English - Date: 2012-12-15 15:37:01 Computer programming APL IBM software Polymorphic Programming Language APL programming language family Computing Software engineering